facility,((main,0,1),2),[(none,[reg1,out]),(p1,[busA,in]),(p9,[reg3,in]),(none,[reg4,out]),(p6,[busB,in]),(p10,[reg1,in])].
facility,((main,0,1),3),[(none,[or,out]),(p15,[reg3,in]),(none,[reg2,out]),(p4,[busB,in]),(p14,[or,in2]),(none,[reg3,out]),(p5,[busA,in]),(p13,[or,in1])].
facility,((main,0,1),4),[(none,[reg3,out]),(p5,[busA,in]),(p8,[reg2,in]),(none,[reg2,out]),(p3,[busA,in]),(p7,[reg1,in])].
facility,((main,0,1),4),[(none,[reg3,out]),(p5,[busA,in]),(p8,[reg2,in]),(none,[reg2,out]),(p4,[busB,in]),(p10,[reg1,in])].
data_trans_2,((main,0,1),2),(reg1,fin),reg4,0.
data_trans_2,((main,0,1),2),(reg3,fin),reg1,0.
data_trans_2,((main,0,1),3),(reg3,fin),[or,reg2,reg3],0.
data_trans_2,((main,0,1),4),(reg1,fin),reg2,0.
data_trans_2,((main,0,1),4),(reg2,fin),reg3,0.
data_trans_2,((init,0,1),1),(sp,fin),0,0.
data_trans_2,((init,0,1),1),(ar,fin),0,0.
data_trans_2,((init,0,1),1),(dr,fin),0,0.
data_trans_2,((init,0,1),1),(reg1,fin),0,0.
data_trans_2,((init,0,1),1),(reg2,fin),1,0.
data_trans_2,((init,0,1),1),(reg3,fin),3,0.
data_trans_2,((init,0,1),1),(reg4,fin),4,0.
data_trans_2,((sub1,1,1),1),(reg2,fin),[+,imag_bus1,1],0.
data_trans_2,((sub1,1,1),1),(reg2,fin),[+,imag_bus1,1],0.
data_trans_2,((push,1,1),1),(imag_reg2,fin),[(,),stack,sp],0.
data_trans_2,((push,1,1),1),(sp,fin),[+,sp,1],0.
data_trans_2,((pop,1,1),1),(sp,fin),[-,sp,1],0.
